|
| |
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such an interface allows tools to be easily integrated with other tools or systems, allows them to be used remotely due to its web based nature, and allows them to be easily connected with a database for persistency and queries. This is achieved by designing and creating an OSLC adapter using Eclipse Lyo that is universal enough to accommodate the functionality of most analysis tools. This is done by using the OSLC Automation domain interface and by leveraging the current command-line interfaces of analysis tools. This work provides an introduction to OSLC, Eclipse Lyo, and other related topics; defines requirements and differences of analysis tools; covers the design process of the adapter and the factors that impacted design decisions; and finally, presents the implemented adapter and evaluates it by using an automated test suite and then experiments with a set of different analysis tools. The most important evaluation indicator is that the current version of the adapter is already being used in practice to add an OSLC interface to four analysis tools: ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).
|
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such an interface allows tools to be easily integrated with other tools or systems, allows them to be used remotely due to its web based nature, and allows them to be easily connected with a database for persistency and queries. This is achieved by designing and creating an OSLC adapter using Eclipse Lyo that is universal enough to accommodate the functionality of most analysis tools. This is done by using the OSLC Automation domain interface and by leveraging the current command-line interfaces of analysis tools. This work provides an introduction to OSLC, Eclipse Lyo, and other related topics; defines requirements and differences of analysis tools; covers the design process of the adapter and the factors that impacted design decisions; and finally, presents the implemented adapter and evaluates it by using an automated test suite and then experiments with a set of different analysis tools. The most important evaluation indicator is that the current version of the adapter is already being used in practice to add an OSLC interface to four analysis tools: ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).
|
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
| |
host ::
RSS.